Hume and Historical Distance

Hume, the New Hume, and Causal Connections

HUME STUDIES' Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the HUME STUDIES archive only for your personal, non-commercial use. Each copy of any part of a HUME STUDIES transmission must contain the same copyright notice that appears on th...

Hume, Skepticism, and Induction

Recursion, Iteration and Hume Scheduling

Converting programs from full or PR-Hume to FSMor HW-Hume involves transforming expression recursion to box iteration. However, this can add considerable overheads through unnecessary scheduling of other boxes dependent on the iteration output. Here we explore how analysis of output behaviour can identify boxes which may be executed independently of normal super-step scheduling, without affecti...

Hume to FPGA

Hume is a novel language in the functional tradition, strongly oriented to systems requiring strong guarantees that resource bounds are met. To facilitate resource assurance, Hume enforces a separation of coordination and computation concerns, and deploys an abstract machine intermediary between implementations and analyses. These core design decisions also enable a high degree of portability a...

Induction before Hume

The word ‘Induction’ and its cognates in other languages, of which for present purposes the most important is Latin ‘inductio’, have a complex semantic history, as does the Greek ἐπαγωγή from which they were derived. Though some of these uses — electromagnetic induction, or the induction of a clergyman into a new benefice — are manifestly irrelevant, others that still diverge significantly from...